obj/kern/init.o: kern/init.c inc/asm.h inc/stdio.h inc/stdarg.h \
  inc/string.h inc/types.h inc/assert.h kern/monitor.h kern/console.h \
  kern/pmap.h inc/memlayout.h inc/queue.h inc/mmu.h kern/kclock.h
